Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
541	Hierarchical Correctness Proofs for Distributed Algorithms by Mark R. Tuttle B.S., University of Nebraska{Lincoln Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Applied mathematics Algorithm Mathematical logic Finite-state machine Actor model I/O Automaton Cellular automaton Models of computation Automata theory Computer science
542	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton
543	Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Digital electronics Theoretical computer science Diagrams Mathematics State diagram Finite-state machine Computer science Stopwatch Orthogonality Models of computation UML diagrams Automata theory
544	On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Infographics Information science Software engineering Automata theory Finite-state machine Structured analysis State diagram Data flow diagram Models of computation Diagrams Data management
545	SDL Game Development Shaun Ross Mitchell Chapter No. 5 "Handling Game States" Add to Reading List Source URL: www.packtpub.com Language: English C++ Automata theory Finite-state machine Objective-C Software engineering Object-oriented programming Computer programming
546	Investigations on Search Methods for Speech Recognition using Weighted Finite-State Transducers Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH A ACHEN U NIVERSITY Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Automata theory Finite state transducer
547	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
548	Free University of Bolzano, Prof. J. Nievergelt: Formal Languages, Sem 1, Fall 2006 Oct 02 Models of computation: Ruler and compass, systolic arrays, finite state machines Oct 02 Lab Kara: study examples and write a pr Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2006-11-23 06:52:35 Computability theory Models of computation Turing machine Computability Finite-state machine Automata theory Halting problem Busy beaver Computable function Theoretical computer science Computer science Theory of computation
549	series-parallel-loop construction (3.5, 3.6) ≥ NFA ⊃ Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:15 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Regular expression Regular language Automata theory Theoretical computer science Computer science
550	Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:08 Combinatorics Mathematics Regular expression Alphabet Finite-state machine Regular language Theory of computation Kleene star Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science

UPDATE